1.
Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Gr...
by Schubert, E. T., Windley, P...
ISBN: 9783540602750
List Price: $89.95
2.
Light-Emitting Diodes Research, Manufacturing, and Applications III
by Schubert, E. Fred, Ferguson...
ISBN: 9780819430915
List Price: $80.00